| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Effiziente Algorithmen | Fach-/Modulprüfung | 6 | 501638 | ||
| Foundations of Functional Programming | Fach-/Modulprüfung | 6 | 503629 | ||
| Übung | 507758 | Di 09:30-12:00 AH VI (2356|051) (×1) Do 10:00-13:00 AH II (2350|111) (×1) Fr 14:30-16:00 AH IV (2354|030) (×1) Fr 14:30-16:00 AH V (2356|050) (×10) | |||
| Vorlesung | 507759 | Mo 16:30-18:00 AH V (2356|050) (×10) Fr 10:30-12:00 AH V (2356|050) (×10) Fr 14:30-16:00 AH V (2356|050) (×1) | |||
| Mathematische Logik I | Vorlesung | 498360 | Di 10:30-12:00 TEMP1 (1515|001) (×10) Do 14:30-16:00 TEMP1 (1515|001) (×10) | ||
| Fach-/Modulprüfung | 6 | 504971 | |||
| Tutorium | 498347 | Di 13:00-17:00 TEMP1 (1515|001) (×1) Mi 08:30-10:00 5055 (2356|055) (×13) Mi 12:30-14:00 5056 (2356|056) (×13) Mi 12:30-14:00 Z1 (1420|304) (×13) Mi 14:30-16:00 5056 (2356|056) (×13) Mi 14:30-16:00 E1 (1090|301) (×13) Mi 14:30-16:00 SFo 3 (1821|003) (×1) Mi 14:30-16:00 SFo 4 (1821|004) (×12) Mi 16:30-18:00 klPhys (1090|334) (×13) Do 08:30-10:00 SG 12 (1810|012) (×12) Do 10:30-12:00 5054 (2356|054) (×12) Do 10:30-12:00 S10 (1385|210) (×12) Do 10:30-12:00 SFo 14 (1821|014) (×12) Do 12:30-14:00 5055 (2356|055) (×12) Fr 10:30-12:00 5052 (2356|052) (×13) Fr 10:30-12:00 Z1 (1420|304) (×13) Fr 10:30-12:00 Z3 (1420|302) (×13) Fr 12:30-14:00 SFo 4 (1821|004) (×13) Fr 12:30-14:00 SG 513 (1810|513) (×13) Fr 14:30-16:00 klPhys (1090|334) (×13) Fr 14:30-18:30 AH II (2350|111) (×1) Fr 15:00-17:00 AH IV (2354|030) (×1) | |||
| Modellierung und Analyse hybrider Systeme | Fach-/Modulprüfung | 6 | 504842 | ||
| Vorlesung/Übung | 508421 | Di 12:30-14:00 AH II (2350|111) (×12) Fr 10:30-12:00 AH III (2350|314.1) (×12) |